101. برهان گودل و حقيقت وبرهان
پدیدآورنده : نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
موضوع : منطق رياضي رياضيات فلسفه
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
102. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
103. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
کتابخانه: Library and National Museum of Malek (Tehran)
موضوع : گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
104. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: Sheikh Bahai Library (Khorasan Razavi)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
105. برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱-
موضوع : ریاضیات -- فلسفه,منطق ریاضی
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
106. برهان گودل و حقيقت و برهان
پدیدآورنده : /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
کتابخانه: Library of Razavi University of Islamic Sciences (Khorasan Razavi)
موضوع : گودل ، قضيه,منطق رياضي
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
107. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
کتابخانه: Ilam University Central Library (Ilam)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
108. بسیط المنطق الحدیث
پدیدآورنده : کواین، ویلارد ون اورمن، ۱۹۰۸ - ۲۰۰۰م.
کتابخانه: Library of Center Research on the Encyclopedia of Islamic Theological Sciences (Qom)
موضوع : منطق ریاضی
109. بسیط المنطق الحدیث
پدیدآورنده : / ویلارد کواین,Elementary logic
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق ریاضی,منطق ریاضی -- فلسفه
رده :
BC
۱۳۵
/
ک
۹
ب
۵
110. بسیط المنطق الحدیث
پدیدآورنده : ویلارد کواین
کتابخانه: Sheikh Bahai Library (Khorasan Razavi)
موضوع : منطق,منطق ریاضی
رده :
BC
۱۰۸
/
ک
۹،
ب
۵۰۴۳۸
111. بسیط المنطق الحدیث
پدیدآورنده : کواین، ویلارد ون اورمن، ۱۹۰۸ - ۲۰۰۰م
کتابخانه: Special Library of Institute of Islamic Sciences and Culture (Qom)
موضوع : منطق ریاضی,منطق
رده :
BC
۱۳۵
/
ک
۹
ب
۵
112. بنیا‌دها‌ی منطق نگریک
پدیدآورنده : نوشته‌ی داوید هیلبرت، ویلهلم آکرما‌ن
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
ه
۹
ب
۹ ۱۳۸۰
113. پاسخنامه سوالهاي چهارگزينه‌اي تاليفي رشته علوم انساني "رياضي آمار، تاريخ، جغرافي، جامعه‌شناسي منطق، فلسفه، روانشناسي"
پدیدآورنده : / پديدآورندگان هيات مولفين
کتابخانه: (Library of Cultural Complex of Imam Khomeini (Astan Qods Razavi (Khorasan Razavi)
موضوع : آموزش متوسطه -- آزمونها و تمرينها,علوم انساني -- آزمونها و تمرينها (متوسطه)
رده :
۳۷۳
/
۲۳۸ ۰۷۶
پ
۱۸۳
114. پروژة منطق گرایی در ریاضیات: از بولتزانو تا راسل
پدیدآورنده : غلامحسین مقدم حیدری
کتابخانه: Virtual Library (Digital) Alphabet (Tehran)
موضوع : این همانی;هم توانی;اصل متعارف بی نهایت;اصل متعارف انتخاب;اصل تحویل پذیری;نظریة انواع;نظریة انشقاق انواع;تعریف غیر اسنادی;منطق گرایی;
115. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: (Imam Reza Library (Astan Qods Razavi (Kerman)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
116. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
117. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: (Harandi Library (Astan Qods Razavi (Kerman)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
118. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: Central Library of Astan Quds Razavi-Boy's youth Hall (Khorasan Razavi)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
119. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: (library of Imam Reza (Astan Quds Razavi (Khorasan Razavi)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
120. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: (Moravej Library (Astan Qods Razavi (Yazd)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
